『フォーマルメソッド導入ガイダンス ～ソフトウェアの安全性・信頼性向上のための技術導入に向けて～』
#2011年
導入方法｜ディペンダブル・システムのための形式手法の実践ポータル
関連
【形式手法】「フォーマルメソッド導入ガイダンス」をざらっと読んでみた #形式手法 - Qiita
#文献